Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
81	UNCLASSIFIED Grammatical Inference and Machine Learning Approaches to Post-Hoc LangSec Sheridan Curley and & Dr. Richard Harang (ARL) Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-06 10:35:22 Formal languages Philosophy Cognitive science Grammar Linguistics Natural language processing Syntax Compiler construction Grammar induction Chomsky hierarchy Formal grammar Noam Chomsky
82	Second-Order Abstract Categorial Grammars Makoto Kanazawa July 28, Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2010-06-08 00:58:52 Formal languages Grammar Logic Mathematics Regular tree grammar Context-free grammar Formal grammar Terminal and nonterminal symbols Indexed grammar Context-sensitive grammar
83	Parameterized Interfaces for Open System Verification of Product Lines∗ Colin Blundell University of Pennsylvania Kathi Fisler WPI Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-10-28 09:30:27 Theoretical computer science Logic Mathematical logic Formal methods Logic in computer science Boolean algebra Hardware verification languages Model checking Temporal logic Formal verification Propositional calculus E
84	GIS III: Advanced GIS Lab 03: Parsing street address strings with Python, geocoding and some simple date-a analysis. Introduction and purpose Street addresses and geocoding (Bolstad, p395-397, An important eleme Add to Reading List Source URL: webspace.ship.edu Language: English - Date: 2016-02-09 15:26:17 Computing Formal languages Data types Primitive types Combinatorics Geocoding Data GIS software ArcGIS String Geographic information system Meter Point Administration Number
85	Tracking Code Patterns over Multiple Software Versions with Herodotos Nicolas Palix DIKU University of Copenhagen Denmark Add to Reading List Source URL: coccinelle.lip6.fr Language: English Software Computing System software Formal languages Pattern matching Cryptographic software Cross-platform software OpenSSL Diff utility Software quality Software bug Regular expression
86	CS 150 Lecture Slides Motivation • Automata = abstract computing devices • Turing studied Turing Machines (= computers) before there were any real computers • We will also look at simpler devices than Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2015-01-28 19:20:52 Formal languages Combinatorics Mathematics Discrete mathematics Alphabet String Finite-state machine Structure Regular expression Induction of regular languages Indexed grammar
87	Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-12-29 13:37:29 Theoretical computer science Software engineering Computing Logic in computer science Formal methods Compiler construction Formal verification ACM Transactions on Programming Languages and Systems Semantics Compiler Programming language Operational semantics
88	GNU/Linux Command−Line Tools Summary Gareth Anderson Chris Karakas − Conversion from LyX to DocBook SGML, Index generation Add to Reading List Source URL: en.tldp.org Language: English - Date: 2006-04-20 09:21:09 Software Computing Markup languages Technical communication Formal languages Desktop publishing software DocBook LyX Standard Generalized Markup Language LaTeX Integrated development environment Programming tool
89	Remarks on simple proofs Rosalie Iemhoff∗ March 15, 2015 Abstract This note consists of a collection of observations on the notion of simplicity in the setting of proofs. It discusses its properties under formalization Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2015-04-01 09:58:14 Logic Mathematics Abstraction Proof theory Mathematical proofs Formal languages Formal systems Logical truth Theorem Elementary proof Mathematical logic Proof
90	Science of Computer Programming–266 www.elsevier.nl/locate/scico Generation of components for software renovation factories from context-free grammars Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2003-02-26 03:26:46 Software engineering Software Computer programming Compiler construction Parser generators Programming language implementation Language workbench Formal languages Syntax Definition Formalism ASF+SDF Meta Environment Parsing SYNTAX

UPDATE